Automatic Checking of SQL: Computerised Grading

Automatic Grading of Programming Exercises Automatic Grading of Programming Exercises

Automatic Generation of SQL Queries

Structured Query Language (SQL) is an ANSI and ISO standard declarative query language for querying and manipulating relational databases. It is easy to write SQL queries but very difficult to validate them. Often students conclude that a SQL query is correct simply because the query compiles, executes, and fetches data. Therefore, it is crucial that SQL assessment tasks are carefully designed ...

Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking

Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in recent years. This paper presents QED, a goal-directed model-checking system that automatically generates attacks exploiting taint-based vulnerabilities in large Java web applications. This is the first time where mod...

Partial Marking for Automated Grading of SQL Queries

The XData system, currently being developed at IIT Bombay, provides an automated and interactive platform for grading student SQL queries, as well as for learning SQL. Prior work on the XData system focused on generating query specific test cases to catch common errors in queries. These test cases are used to check whether the student queries are correct or not. For grading student assignments,...

Automatic Grading of Scientific Inquiry

The SAVE Science project is an attempt to address the shortcomings of current assessments of science. The project has developed two virtual worlds that each have a mystery or natural phenomenon requiring scientific explanation; by recording students’ behavior as they investigate the mystery, these worlds can be used to assess their understanding of the scientific method. Currently, however, the...